semantic specification

The method, which describes software specification in XYZ/ E, can assure semantic consistency between specification and software. On the other hand, the output expectation of test cases can be automatically evaluated from the specification as a Prolog program.

该方法采用XYZ/E描述，首先确保规范与被测软件的语义一致，其次，利用XYZ/E规范的逻辑程序属性，实现了对测试用例中输出期望的Prolog自动推导求值。

An Ontology-based Time Semantic Specification and Verification Approach for Web Service

一种基于Ontology的WEB服务时间约束定义及验证方法

Event order-based semantic specification of UML ( unified modeling language) sequence diagram

基于事件序的UML序列图语义规范

The semantic of this specification is that a copy of the referenced object should be created, and assigned another name.

该规范的语义是应当创建已引用对象的一个副本，并指定另一个名称。

Semantic Web-Oriented Specification of Logic Descriptive Primitives

面向语义Web的逻辑描述原语扩展

Ontology, by way of formal specification of share concepts, provides a method to resolve the semantic heterogeneous, since it can be used to express the semantics of data sources, identify and construct the semantic relationship of the concepts, compass the semantic consistency.

本体作为共享概念的形式化说明，用于表达数据源的语义、识别和建立概念间的语义关联、达成语义一致，提供了语义异构问题的解决途径。

The approach analyzes the semantics of sequence diagrams and adds semantic constraint specification to generate testable model. Corresponding information is abstracted from the model to generate FSM.

该方法分析了时序图的语义信息并添加语义约束规约生成可测试模型，从中提取相关信息生成有限状态机；

To realize the semantic description of process information, a semantic mapping rule and procedure based on Process Specification Language ( PSL) ontology was defined and the semantic of PSL ontology was analyzed.

在该模型中，定义了基于流程定义语言本体的语义映射规则及映射的具体过程，对流程定义语言本体进行了语义分析，实现了对流程信息的语义层次描述；

DTD is a grammar-based XML schema formalism, considering the structural constraints, a pattern-based schema formalism called XSCs can be combined with it, and the derived DTD provides a more a semantic rich specification.

DTD是一种基于语法的XML规范形式化定义，在考虑结构完整性约束时，一种基于pattern的XML规范形式化定义XSCs模式可以与其联合使用，使得生成的DTD具有更为丰富的语义。